delete branch from github repository